61. Islic logic conferene
پدیدآورنده: / edited by G. H. Muller, A. Oberschelp and K. Potthoff
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Logic, Symbolic and mathematical - Congresses,Set theory - Congresses
رده :
510
.
8
L471
No
.
499
62. Langages, ensembles, theories axiomatiques
پدیدآورنده: Hervieux, Maurice
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Axiomatic set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H44
63. Learning to reason: an introduction to logic, sets and relations
پدیدآورنده: Rodgers, Nancy
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
64. Learning to reason: an introduction to logic, sets, and relations
پدیدآورنده: Rodgers, Nancy
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
R7264
2000
65. Lectures in logic and set theory
پدیدآورنده: Tourlakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68
2003
66. Lectures in logic and set theory
پدیدآورنده: / George Tourlakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
67. Lectures in logic and set theory
پدیدآورنده: / George Tourlakis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Logic, Symbolic and mathematical,Set theory
رده :
QA9
.
2
.
T68
2003
68. Lectures in logic and set theory
پدیدآورنده: Tourlakis, George J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory
رده :
QA
9
.
2
.
T68L42
69. Les systemes axiomatiques de la theorie des ensembles
پدیدآورنده: Wang, Hao
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
W3
70. Les systemes axiomatiques de la theorie des ensembles
پدیدآورنده: Par Hao Wang et Naughton Robert
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Set theory,Logic, Symbolic and mathematical
71. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
72. Logic, Proof, and sets
پدیدآورنده: Bittinger, Marvin L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Logic, symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
73. Logic, proof, and sets
پدیدآورنده: Bittinger, Marvin L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع: ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
74. Logic, proof, and sets
پدیدآورنده: Bittinger, Marvin L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Proof theory,، Set theory
رده :
QA
9
.
B614
1982
75. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده: Ed. by Yehoshua Bar-Hillel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
9
.
I56
1968
76. Mathematical logic, the theory of algorithms, and the theory of sets
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Algorithms,، Set theory
رده :
QA
1
.
A413
no
.
133
77. Modelle der Mengenlehre
پدیدآورنده: Jensen, Ronald Bjour
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
37
78. Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms
پدیدآورنده: Jensen, Ronald Bjorn
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
J54
1967
79. Modelle der Mengenlehre, Widerspruchsfreiheit und Unabhangigkeit der Kontinuum - Hypothese und des Auswahlaxioms
پدیدآورنده: Jensen, Ronald Bjorn
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
L4
v
.
37
80. Modelle der Mengenlehre Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms
پدیدآورنده: Jensen, Ronald Bjorn
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
37
